Matrix-vector multiplication for error-correction encoding and the like

ABSTRACT

In one embodiment, a matrix-vector multiplication (MVM) component generates a product vector based on (i) an input matrix and (ii) an input vector. The MVM component has a permuter, memory, and an XOR gate array. The permuter permutates, for each input sub-vector of the input vector, the input sub-vector based on a set of permutation coefficients to generate a set of permuted input sub-vectors. The memory stores a set of intermediate product sub-vectors corresponding to the product vector. The XOR gate array performs, for each input sub-vector, exclusive disjunction on (i) the set of permuted input sub-vectors and (ii) the set of intermediate product sub-vectors to update the set of intermediate product subvectors, such that all of the intermediate product sub-vectors in the set are updated based on a current input sub-vector before updating any of the intermediate product sub-vectors in the set based on a subsequent input sub-vector.

CROSS-REFERENCE TO RELATED APPLICATIONS

This application claims the benefit of the filing dates of U.S. provisional application No. 61/265,826, filed on Dec. 2, 2009 as attorney docket no. 08-0714US1PROV, and U.S. provisional application No. 61/265,836, filed on Dec. 2, 2009 as attorney docket no. 08-0714US2PROV, the teachings both of which are incorporated herein by reference in their entirety.

The subject matter of this application is related to:

-   U.S. patent application Ser. No. 12/113,729 filed May 1, 2008, -   U.S. patent application Ser. No. 12/113,755 filed May 1, 2008, -   U.S. patent application Ser. No. 12/323,626 filed Nov. 26, 2008, -   U.S. patent application Ser. No. 12/401,116 filed Mar. 10, 2009, -   PCT patent application no. PCT/US08/86523 filed Dec. 12, 2008, -   PCT patent application no. PCT/US08/86537 filed Dec. 12, 2008, -   PCT patent application no. PCT/US09/39918 filed Apr. 8, 2009, -   PCT application no. PCT/US09/39279 filed on Apr. 2, 2009, -   U.S. patent application Ser. No. 12/420,535 filed Apr. 8, 2009, -   U.S. patent application Ser. No. 12/475,786 filed Jun. 1, 2009, -   U.S. patent application Ser. No. 12/260,608 filed on Oct. 29, 2008, -   PCT patent application no. PCT/US09/41215 filed on Apr. 21, 2009, -   U.S. patent application Ser. No. 12/427,786 filed on Apr. 22, 2009, -   U.S. patent application Ser. No. 12/492,328 filed on Jun. 26, 2009, -   U.S. patent application Ser. No. 12/492,346 filed on Jun. 26, 2009, -   U.S. patent application Ser. No. 12/492,357 filed on Jun. 26, 2009, -   U.S. patent application Ser. No. 12/492,374 filed on Jun. 26, 2009, -   U.S. patent application Ser. No. 12/538,915 filed on Aug. 11, 2009, -   U.S. patent application Ser. No. 12/540,078 filed on Aug. 12, 2009, -   U.S. patent application Ser. No. 12/540,035 filed on Aug. 12, 2009, -   U.S. patent application Ser. No. 12/540,002 filed on Aug. 12, 2009, -   U.S. patent application Ser. No. 12/510,639 filed on Jul. 28, 2009, -   U.S. patent application Ser. No. 12/524,418 filed on Jul. 24, 2009, -   U.S. patent application Ser. No. 12/510,722 filed on Jul. 28, 2009,     and -   U.S. patent application Ser. No. 12/510,667 filed on Jul. 28, 2009,     the teachings of all of which are incorporated herein by reference     in their entirety.

BACKGROUND OF THE INVENTION

1. Field of the Invention

The present invention relates to signal processing, and, in particular, to error-correction encoding and decoding techniques such as low-density parity-check (LDPC) encoding and decoding.

2. Description of the Related Art

Low-density parity-check (LDPC) encoding is an error-correction encoding scheme that has attracted significant interest in recent years due in part to its ability to operate near the Shannon limit and its relatively low implementation complexity. LDPC codes are characterized by parity-check matrices, wherein, in each parity-check matrix, the number of elements in the matrix that have a value of one is relatively small in comparison to the number of elements that have a value of zero. Over the last few years, various methods of performing LDPC encoding have been developed. For example, according to one relatively straightforward method, LDPC encoding may be performed by multiplying a generator matrix, derived from the parity-check matrix, by user data to generate LDPC codewords. A discussion of this and other LDPC encoding methods may be found in Richardson, “Efficient Encoding of Low-Density Parity-Check Codes, IEEE Transactions on Information Theory, Vol. 47, No. 2, pgs. 638-656, February 2001, and Thong, “Block LDPC: A Practical LDPC Coding System Design Approach,” IEEE Transactions on Circuits and Systems: Regular Papers, Vol. 52, No. 4, pgs. 766-775, April 2005, the teachings all of which are incorporated herein by reference in their entirety.

SUMMARY OF THE INVENTION

In one embodiment, the present invention is an apparatus comprising a matrix-vector multiplication (MVM) component that generates a product vector based on (i) an input matrix and (ii) an input vector. The MVM component comprises a permuter, memory, and an XOR gate array. The permuter, for each input sub-vector of the input vector, permutates the input sub-vector based on a set of permutation coefficients to generate a set of permuted input sub-vectors. The set of permutation coefficients correspond to a current block column of the input matrix, and each permutation coefficient in the set corresponds to a different permutation of a sub-matrix in the current block column. The memory stores a set of intermediate product sub-vectors corresponding to the product vector. The XOR gate array, for each input sub-vector, performs exclusive disjunction on (i) the set of permuted input sub-vectors and (ii) the set of intermediate product sub-vectors to update the set of intermediate product subvectors. The XOR gate array updates all of the intermediate product sub-vectors in the set based on a current input sub-vector before updating any of the intermediate product sub-vectors in the set based on a subsequent input sub-vector.

In another embodiment, the present invention is an encoder implemented method for generating a product vector based on (i) an input matrix and (ii) an input vector. The method comprises permutating, for each input sub-vector of the input vector, the input sub-vector based on a set of permutation coefficients to generate a set of permuted input sub-vectors. The set of permutation coefficients correspond to a current block column of the input matrix, and each permutation coefficient in the set corresponds to a different permutation of a sub-matrix in the current block column. A set of intermediate product sub-vectors corresponding to the product vector is stored in memory, and, for each input sub-vector, exclusive disjunction is performed on (i) the set of permuted input sub-vectors and (ii) the set of intermediate product sub-vectors to update the set of intermediate product sub-vectors. All of the intermediate product sub-vectors in the set are updated based on a current input sub-vector before updating any of the intermediate product sub-vectors in the set based on a subsequent input sub-vector.

BRIEF DESCRIPTION OF THE DRAWINGS

Other aspects, features, and advantages of the present invention will become more fully apparent from the following detailed description, the appended claims, and the accompanying drawings in which like reference numerals identify similar or identical elements.

FIG. 1 shows one implementation of a parity-check matrix (aka H-matrix) that may be used to implement a low-density parity-check (LDPC) code;

FIG. 2 shows a simplified block diagram of one implementation of a signal processing device that may be used to encode data using an H-matrix such as the H-matrix of FIG. 1;

FIG. 3 shows a simplified representation of an exemplary H-matrix in coefficient-matrix form;

FIG. 4 shows a simplified block diagram of a sparse-matrix-vector (SMV) component according to one embodiment of the present invention;

FIG. 5 shows a simplified representation of an H-matrix having a parity-bit sub-matrix in approximately lower triangular (ALT) form;

FIG. 6 shows a simplified block diagram of a signal processing device according to one embodiment of the present invention;

FIG. 7 shows a simplified block diagram of a first parity-bit sub-vector component according to one embodiment of the present invention that may be used to implement the first parity-bit sub-vector component in FIG. 6;

FIG. 8 shows a simplified block diagram of a forward substitution component according to one embodiment of the present invention;

FIG. 9 shows a simplified block diagram of a matrix-vector multiplication component according to one embodiment of the present invention; and

FIG. 10 shows a simplified block diagram of a second parity-bit sub-vector component according to one embodiment of the present invention that may be used to implement the second parity-bit sub-vector component in FIG. 6.

DETAILED DESCRIPTION

Reference herein to “one embodiment” or “an embodiment” means that a particular feature, structure, or characteristic described in connection with the embodiment can be included in at least one embodiment of the invention. The appearances of the phrase “in one embodiment” in various places in the specification are not necessarily all referring to the same embodiment, nor are separate or alternative embodiments necessarily mutually exclusive of other embodiments. The same applies to the term “implementation.”

FIG. 1 shows one implementation of a parity-check matrix 100 that may be used to implement a low-density parity-check (LDPC) code. Parity-check matrix 100, commonly referred to as an H-matrix, comprises 72 sub-matrices (or blocks) B_(j,k) that are arranged in m=6 rows (i.e., block rows) where j=1, . . . , m and n=12 columns (i.e., block columns) where k=1, n. Each sub-matrix B_(j,k) has a number z of rows and a number z of columns (i.e., each sub-matrix B_(j,k) is a z×z matrix), and therefore H-matrix 100 has M=m×z total rows and N=n×z total columns. In some relatively simple implementations, z=1 such that H-matrix 100 has M=6 total rows and N=12 total columns. In more complex implementations, z may be greater than 1. For more complex implementations, each sub-matrix may be a zero matrix, an identity matrix, a circulant that is obtained by cyclically shifting an identity matrix, or a matrix in which the rows and columns are arranged in a more-random manner than an identity matrix or circulant.

H-matrix 100 may be a regular H-matrix or an irregular H-matrix. A regular H-matrix is arranged such that all rows of the H-matrix have the same row hamming weight w_(r) and all columns of the H-matrix have the same column hamming weight w_(c). A row's hamming weight refers to the number of elements in the row having a value of 1. Similarly, a column's hamming weight refers to the number of elements in the column having a value of 1. An irregular H-matrix is arranged such that the row hamming weight w_(r) of one or more rows differ from the row hamming weight w_(r) of one or more other rows and/or the column hamming weight w_(c) of one or more columns differ from the column hamming weight w_(c) of one or more other columns.

An H-matrix may also be arranged in non-systematic form or systematic form. In non-systematic form, the elements of the H-matrix that correspond to user data are interspersed with the elements of the H-matrix that correspond to parity bits. In systematic form, the H-matrix is arranged such that all elements of the matrix corresponding to user data are separated from all elements of the matrix corresponding to parity bits. H-matrix 100 is an example of an H-matrix in systematic form. As shown, H-matrix 100 has (i) an m×(n−m) sub-matrix H_(u) (to the left of the dashed line) corresponding to user data, and (ii) an m×m sub-matrix H_(p) (to the right of the dashed line) corresponding to parity bits.

FIG. 2 shows a simplified block diagram of one implementation of a signal processing device 200, which may be used to encode data using an H-matrix such as H-matrix 100 of FIG. 1. Signal processing device 200 may be implemented in a communications transmission system, a hard-disk drive (HDD) system, or any other suitable application. Upstream processing 202 of signal processing device 200 receives an input data stream from, for example, a user application, and generates a user-data vector {right arrow over (u)} for low-density parity-check (LDPC) encoding. The processing performed by upstream processing 202 may vary from one application to the next and may include processing such as error-detection encoding, run-length encoding, or other suitable processing.

LDPC encoder 204 generates a parity-bit vector {right arrow over (p)} based on the user-data vector {right arrow over (u)} and a parity-check matrix (i.e., H-matrix) and outputs the parity-bit vector {right arrow over (p)} to multiplexer 206. Multiplexer 206 receives the user-data vector {right arrow over (u)} and inserts the parity bits of parity-bit vector {right arrow over (p)} among the data bits of user-data vector {right arrow over (u)} to generate a codeword vector {right arrow over (c)}. For example, according to one implementation, one nibble (four bits) of parity data from parity-bit vector {right arrow over (p)} may be output after every ten nibbles (40 bits) of user data from user-data vector {right arrow over (u)}. Generally, the length of codeword vector {right arrow over (c)} is the same as the number of columns of the parity-check matrix. For example, if LDPC encoder 204 performs encoding based on H-matrix 100 of FIG. 1, which has M=6×z total rows, then codeword vector {right arrow over (c)} will have M=6×z total elements. The codeword vector {right arrow over (c)} is then processed by downstream processing 208, which performs processing such as digital-to-analog conversion, pre-amplification, and possibly other suitable processing depending on the application.

The processing performed by LDPC encoder 204 to generate parity-bit vector {right arrow over (p)} may be derived beginning with the premise that the modulo-2 product of the H-matrix and the codeword vector {right arrow over (c)} is equal to zero as shown in Equation (1):

H{right arrow over (c)}=0  (1)

If the H-matrix of Equation (1) is in systematic form, then Equation (1) may be rewritten as shown in Equation (2):

$\begin{matrix} {{{H\; \overset{\rightarrow}{c}} = {{\left\lbrack {H_{u}\mspace{20mu} H_{p}} \right\rbrack \begin{bmatrix} \overset{\rightarrow}{u} \\ \overset{\rightarrow}{p} \end{bmatrix}} = 0}},} & (2) \end{matrix}$

where H_(u) is an m×(n−m) sub-matrix of H corresponding to user data, H_(p) is an m×m sub-matrix of H corresponding to parity-check bits, {right arrow over (u)} is an (n−m)×1 user-data vector, and {right arrow over (p)} is an m×1 parity-bit vector.

Equation (2) may be rewritten as shown in Equation (3):

H_(p){right arrow over (p)}=H_(u){right arrow over (u)},  (3)

and Equation (3) may be solved for parity-bit vector {right arrow over (p)} as shown in Equation (4):

{right arrow over (p)}=[H _(p)]⁻¹ [H _(u) {right arrow over (u)}].  (4)

Substituting {right arrow over (x)}=H_(u){right arrow over (u)} into Equation (4) yields Equation (5) as follows:

{right arrow over (p)}=[H _(p)]⁻¹ {right arrow over (x)}.  (5)

Using Equation (5), parity-bit vector {right arrow over (p)} may be generated by (i) multiplying sub-matrix H_(u) by user-data vector {right arrow over (u)} to generate vector {right arrow over (x)}, (ii) determining the inverse [H_(p)]⁻¹ of sub-matrix H_(p), and (iii) multiplying vector {right arrow over (x)} by [H_(p)]⁻¹.

Sparse-Matrix-Vector Multiplication

Suppose that user-data sub-matrix H_(u) is sparse. Vector {right arrow over (x)} may be generated by permutating sub-vectors {right arrow over (u)}_(n) of user-data vector {right arrow over (u)} and applying the permutated sub-vectors {right arrow over (u)}_(n) to XOR logic. As an example, consider exemplary H-matrix 300 of FIG. 3. H-matrix 300 is depicted in coefficient-matrix (CM) form, where each element P_(j,k) of H-matrix 300 corresponds to a block (i.e., a sub-matrix). H-matrix 300 is also arranged in systematic form having an 8×16 user-data sub-matrix H_(u) and an 8×8 parity-bit sub-matrix H_(p). H-matrix 300 has 192 total blocks arranged in n=24 block columns (i.e., j=1, . . . , 24) and m=8 block rows (i.e., k=1, . . . , 8). Each element P_(j,k) of H-matrix 300, herein referred to as a permutation coefficient P_(j,k), that has a positive value or a value of zero represents that the block is a z×z weight one matrix that is permutated by the value (or not permutated in the case of a zero). A weight one matrix is a matrix in which each row and each column has a hamming weight of one. Such matrices include identity matrices and matrices in which the ones are arranged in a more random manner than an identity matrix. Each permutation coefficient P_(j,k) that has a value of negative one indicates that the block is a z×z zero matrix. Thus, for example, the permutation coefficient P_(j,k) in the first block row and first block column (i.e., upper left-most element of H-matrix 300) indicates that the corresponding block is a z×z weight one matrix that is permutated by 3.

Each weight one matrix may be permutated using, for example, cyclic shifting or permutations that are more random, such as those obtained using an Omega network or a Benes network. In the case of cyclic shifting, cyclic shifting of the weight one matrices may be selected by the designer of the coefficient matrix to be right, left, up, or down cyclic shifting. An Omega network, which is well known to those of ordinary skill in the art, is a network that receives z inputs and has multiple interconnected stages of switches. Each switch, which receives two inputs and presents two outputs, can be set based on a bit value to (i) pass the two inputs directly to the two outputs in the order they were received (e.g., top input is provided to top output and bottom input is provided to bottom output) or (ii) swap the two inputs (e.g., such that the top input is provided to the bottom output, and vice versa). The outputs of each stage are connected to the inputs of each subsequent stage using a perfect shuffle connection system. In other words, the connections at each stage are equivalent to dividing z inputs into two equal sets of z/2 inputs and then shuffling the two sets together, with each input from one set alternating with the corresponding input from the other set. For z inputs, an Omega network is capable of performing 2^(z) different permutations, and each permutation coefficient P_(j,k) is represented by (z/2)log₂(z) bits, each bit corresponding to one switch.

A Benes network, which is also well know to those of ordinary skill in the art, is a network that receives z inputs and has 2 log₂(z)−1 stages of interconnected switches. Each stage has a number (z/2) of 2×2 crossbar switches, and the Benes network has a total number z log₂(z)−(z/2) of 2×2 crossbar switches. Each switch, which receives two inputs and presents two outputs, can be set based on a bit value to (i) pass the two inputs directly to the two outputs in the order they were received (e.g., top input is provided to top output and bottom input is provided to bottom output) or (ii) swap the two inputs (e.g., such that the top input is provided to the bottom output, and vice versa). For z inputs, a Benes network is capable of performing 2^(z) different permutations, and each permutation coefficient P_(j,k) is represented by z log₂(z) bits, where each bit corresponds to one switch.

For H-matrix 300, vector {right arrow over (x)} may be represented as a set of sub-vectors {right arrow over (x)}_(j), each sub-vector {right arrow over (x)}_(j) having z elements, and each sub-vector corresponding to one block row of H-matrix 300 (i.e., j=1, . . . , 8), as shown in Equation (6):

$\begin{matrix} {\overset{\rightarrow}{x} = {{H_{u}\overset{\rightarrow}{u}} = \begin{bmatrix} {\overset{\rightarrow}{x}}_{1} \\ {\overset{\rightarrow}{x}}_{2} \\ \vdots \\ {\overset{\rightarrow}{x}}_{8} \end{bmatrix}}} & (6) \end{matrix}$

Rather than multiplying the elements of user-data sub-matrix H_(u) of H-matrix 300 by user-data vector {right arrow over (u)}, user-data vector {right arrow over (u)} may be divided into sub-vectors {right arrow over (u)}_(k), each user-data sub-vector {right arrow over (u)}_(k) corresponding to one block column of the user-data sub-matrix H_(u) of H-matrix 300 (i.e., 16) and each having z elements. Then, each sub-vector of vector {right arrow over (x)} may be calculated by (i) permutating each of the sixteen user-data sub-vectors {right arrow over (u)}₁, . . . , {right arrow over (u)}₁₆ according to the permutation coefficients P_(j,k) in the corresponding block row of H-matrix 300, and (ii) adding the permutated user-data sub-vectors to one another. For example, the first sub-vector {right arrow over (x)}₁ may be computed by (i) permutating user-data sub-vectors {right arrow over (u)}₁, . . . , {right arrow over (u)}₁₆ by permutation coefficients P_(j,k) of the first (i.e., top) row of H-matrix 300 as shown in Equation (7) below:

{right arrow over (x)} ₁ =[{right arrow over (u)} ₁]³ +[{right arrow over (u)} ₂]⁰ +[{right arrow over (u)} ₃]⁻¹ +[{right arrow over (u)} ₄]⁻¹ +[{right arrow over (u)} ₅]² +[{right arrow over (u)} ₆]⁰ +[{right arrow over (u)} ₇]⁻¹ +[{right arrow over (u)} ₈]³ +[{right arrow over (u)} ₉]⁷ +[{right arrow over (u)} ₁₀]⁻¹ +[{right arrow over (u)} ₁₁]¹ +[{right arrow over (u)} ₁₂]¹ +[{right arrow over (u)} ₁₃]⁻¹ +[{right arrow over (u)} ₁₄]⁻¹ +[{right arrow over (u)} ₁₅]⁻¹ +[{right arrow over (u)} ₁₆]⁻¹,  (7)

where each superscripted-number represents a permutation coefficient P_(j,k).

As shown, user-data sub-vectors {right arrow over (u)}₁ and {right arrow over (u)}₈ are each permutated by a factor of 3, user-data sub-vectors {right arrow over (u)}₂ and {right arrow over (u)}₆ are each permutated by a factor of 0 (i.e., is not permutated), user-data sub-vector {right arrow over (u)}₅ is permutated by a factor of 2, user-data sub-vector {right arrow over (u)}₉ is permutated by a factor of 7, and user-data sub-vectors 11 and 12 are each permutated by a factor of 1. Also, user-data sub-vectors {right arrow over (u)}₃, {right arrow over (u)}₄, {right arrow over (u)}₇, {right arrow over (u)}₁₀, {right arrow over (u)}₁₃, {right arrow over (u)}₁₄, {right arrow over (u)}₁₅, and {right arrow over (u)}₁₆ each have a permutation coefficient of −1, representing that the elements of these user-data sub-vectors are set to zero. Sub-vectors {right arrow over (x)}₂, . . . , {right arrow over (x)}₈ may be generated in a similar manner based on the permutation coefficients P_(j,k) of rows two through eight of user-data sub-matrix H_(u) of H-matrix 300, respectively.

FIG. 4 shows a simplified block diagram of a sparse-matrix-vector multiplication (SMVM) component 400 according to one embodiment of the present invention. To continue the example described above in relation to H-matrix 300 of FIG. 3, sparse-matrix-vector multiplication component 400 is shown as receiving sixteen user-data sub-vectors {right arrow over (u)}₁, . . . , {right arrow over (u)}₁₆ and outputting eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈. According to other embodiments, sparse-matrix-vector multiplication component 400 may be configured to operate with an H-matrix other than H-matrix 300 of FIG. 3, such that sparse-matrix-vector multiplication component 400 receives the same or a different number of user-data sub-vectors {right arrow over (u)}_(k) and outputs the same or a different number of sub-vectors {right arrow over (x)}_(j).

Rather than waiting for all sixteen user-data sub-vectors {right arrow over (u)}₁, . . . , {right arrow over (u)}₁₆ to be received, sparse-matrix-vector multiplication (SMVM) component 400 updates the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ as the user-data sub-vectors are received. For example, suppose that sparse-matrix-vector multiplication component 400 receives user-data sub-vector {right arrow over (u)}₁ corresponding to the first (i.e., left-most) block column of H-matrix 300. In the first block column of H-matrix 300, each of the permutation coefficients P_(j,k) in the first, fifth, and seventh block rows correspond to either zero or a positive number. Sparse-matrix-vector multiplication component 400 updates vectors {right arrow over (x)}₁, {right arrow over (x)}₅, and {right arrow over (x)}₇, which correspond to the first, fifth, and seventh block rows, respectively, one at a time as described below. Further, each of the permutation coefficients P_(j,k) in the second, third, fourth, sixth, and eighth block rows of first block column has a value of −1, indicating that each permutation coefficient P_(j,k) corresponds to a block that is a zero matrix. Sub-vectors {right arrow over (x)}₂, {right arrow over (x)}₃, {right arrow over (x)}₄, {right arrow over (x)}₆, and {right arrow over (x)}₈ which correspond to the second, third, fourth, sixth, and eighth block rows, respectively, are updated; however, since each permutation coefficient P_(j,k) has a value of −1, the value of each sub-vector, {right arrow over (x)}₂, {right arrow over (x)}₃, {right arrow over (x)}₄, {right arrow over (x)}₆, and {right arrow over (x)}₈ is unchanged. Note that, the term “updating” as used herein in relation to the sub-vectors {right arrow over (x)}_(j) refers to the processing of permutation coefficients P_(j,k) that results in the sub-vectors {right arrow over (x)}_(j) being changed, as well as the processing of permutation coefficients P_(j,k) that results in the sub-vectors {right arrow over (x)}_(j) being unchanged, such as by adding an all-zero vector to the sub-vectors {right arrow over (x)}_(j) or by not adding anything to the sub-vectors {right arrow over (x)}_(j) based on the permutation coefficients P_(j,k) having a value of negative one.

Upon receiving user-data sub-vector {right arrow over (u)}₁ permuter 402 permutates user-data sub-vector {right arrow over (u)}₁ by a permutation coefficient P_(j,k) of 3 (i.e., the permutation coefficient P_(j,k) in the first block column and first block row of H-matrix 300), which is received from coefficient-matrix (CM) memory 404, which may be implemented, for example, as read-only memory (ROM). Permuter 402 may implement cyclic shifting, or permutations that are more random, such as those obtained using an Omega network or a Benes network described above, depending on the implementation of H-matrix 300. The permuted user-data sub-vector [{right arrow over (u)}₁]³ is provided to XOR array 406, which comprises z XOR gates, such that each XOR gate receives a different one of the z elements of the permuted user-data sub-vector [{right arrow over (u)}₁]³. Vector {right arrow over (x)}₁, which is initialized to zero, is also provided to XOR array 406, such that each XOR gate receives a different one of the z elements of vector {right arrow over (x)}₁. Each XOR gate of XOR array 406 performs exclusive disjunction (i.e., the XOR logic operation) on the permuted user-data sub-vector [{right arrow over (u)}₁]³ element and vector {right arrow over (x)}₁ element that it receives, and XOR array 406 outputs updated vector {right arrow over (x)}₁′ to memory 408, where the updated vector {right arrow over (x)}₁′ is subsequently stored.

Next, permuter 402 permutates user-data sub-vector {right arrow over (u)}₁ by a permutation coefficient P_(j,k) of 20 (i.e., the permutation coefficient P_(j,k) in the first block column and the fifth block row of H-matrix 300), which is received from coefficient-matrix memory 404. The permuted user-data sub-vector [{right arrow over (u)}₁]²⁰ is provided to XOR array 406, such that each XOR gate receives a different one of the z elements of the permuted user-data sub-vector [{right arrow over (u)}₁]²⁰. Vector {right arrow over (x)}₅, which is initialized to zero, is also provided to XOR array 406, such that each XOR gate receives a different one of the z elements of vector {right arrow over (x)}₅. Each XOR gate of XOR array 406 performs exclusive disjunction on the permuted user-data sub-vector [{right arrow over (u)}₁]²⁰ element and vector {right arrow over (x)}₅ element that it receives, and XOR array 406 outputs updated vector {right arrow over (x)}₅′ to memory 408, where the updated vector {right arrow over (x)}₅′ is subsequently stored.

Next, permuter 402 permutates user-data sub-vector {right arrow over (u)}₁ by a permutation coefficient P_(j,k) of 35 (i.e., the permutation coefficient P_(j,k) in the first block column and the seventh block row of H-matrix 300), which is received from coefficient-matrix memory 404. The permuted user-data sub-vector [{right arrow over (u)}₁]³⁵ is provided to XOR array 406, such that each XOR gate receives a different one of the z elements of the permuted user-data sub-vector [{right arrow over (u)}₁]³⁵. Vector {right arrow over (x)}₇, which is initialized to zero, is also provided to XOR array 406, such that each XOR gate receives a different one of the z elements of vector {right arrow over (x)}₇. Each XOR gate of XOR array 406 performs exclusive disjunction on the permuted user-data sub-vector [{right arrow over (u)}₁]³⁵ element and vector {right arrow over (x)}₇ element that it receives, and XOR array 406 outputs updated vector {right arrow over (x)}₇′ to memory 408, where the updated vector {right arrow over (x)}₇′ is subsequently stored. This process is performed for user-data sub-vectors {right arrow over (u)}₂, . . . , {right arrow over (u)}₁₆. Note, however, that the particular vectors {right arrow over (x)}_(j) updated for each user-data sub-vector {right arrow over (u)}_(k) may vary from one user-data sub-vector {right arrow over (u)}_(k) to the next based on the location of positive- and zero-valued permutation coefficients P_(j,k) in the user-data matrix H_(u) of H-matrix 300. Once updating of sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ is complete, sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ are output to downstream processing.

Since the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ are processed by permuter 402 as they are received, sparse-matrix-vector multiplication component 400 may be implemented such that none of sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ are buffered before being provided to permuter 402. Alternatively, sparse-matrix-vector multiplication component 400 may be implemented such that one or more of sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ are provided to permuter 402 without being buffered. In these embodiments, permuter 402 may begin processing one or more of sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈before all eight sub-vectors are received by sparse-matrix-vector multiplication component 400.

Other implementations of sparse-matrix-vector multiplication components are possible. For example, rather than updating the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ as the user-data sub-vectors {right arrow over (u)}_(k) are received, a sparse-matrix-vector multiplication component may comprise a buffer for storing all sixteen user-data sub-vectors {right arrow over (u)}₁, . . . , {right arrow over (u)}₁₆ and may update the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈, either at the same time or one at a time. To update the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ at the same time, the sparse-matrix-vector multiplication component may have eight XOR arrays that operate in parallel. A sparse-matrix-vector multiplication component that uses eight parallel XOR arrays may occupy a greater amount of chip area than sparse-matrix-vector multiplication component 400. To update the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈, one at a time, the sparse-matrix-vector multiplication component may have one XOR array that is used to sequentially update the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ in a time-multipliexed manner. A sparse-matrix-vector multiplication component that updates the eight sub-vectors {right arrow over (x)}₁, . . . , {right arrow over (x)}₈ in this manner may have a higher latency than sparse-matrix-vector multiplication component 400.

Calculating the Parity-Bit Vector

As described above in relation to Equation (5), parity-bit vector {right arrow over (p)} may be generated by (i) generating vector {right arrow over (x)}, (ii) determining the inverse [H_(p)]⁻¹ of sub-matrix H_(p), and (iii) multiplying vector {right arrow over (x)} by [H_(p)]⁻¹. Vector {right arrow over (x)} may be generated as described in relation to FIG. 4. Determining the inverse [H_(p)]⁻¹ of parity-bit sub-matrix H_(p) may be performed using software. Once the inverse [H_(p)]⁻¹ of parity-bit sub-matrix H_(p) is determined, it may be stored in memory. However, the inverse [H_(p)]⁻¹ of parity-bit sub-matrix H_(p) typically will not be sparse, and as a result, a relatively large amount of memory is needed to store the inverse [H_(p)]⁻¹ of parity-bit sub-matrix H_(p). Further, the step of multiplying the inverse [H_(p)]⁻¹ of parity-bit sub-matrix H_(p) by vector {right arrow over (x)} may be computationally intensive as a result of the inverse [H_(p)]⁻¹ of parity-bit sub-matrix H_(p) not being sparse. To minimize the complexity and memory requirements of steps (ii) and (iii) above, the H-matrix may be arranged into blocks as shown in FIG. 5, and parity-bit vector {right arrow over (p)} may be determined using a block-wise inversion.

FIG. 5 shows a simplified representation of an H-matrix 500 having a parity-bit sub-matrix H_(p) in approximately lower triangular (ALT) form. H-matrix 500 may be obtained by (1) performing pre-processing steps, such as row and column permutations, on an arbitrarily arranged H-matrix, or (2) designing the H-matrix to have the form of H-matrix 500. As shown, H-matrix 500 has an m×(n−m) user-data sub-matrix H_(u) (to the left of the dashed line) and an m×m parity-bit sub-matrix H_(p) (to the right of the line). The user-data sub-matrix H_(u) is divided into an (m−g)×(n−m) sub-matrix A and a g×(n−m) sub-matrix C. The parity-bit sub-matrix H_(p) is divided into an (m−g)×g sub-matrix B, a g×g sub-matrix D, an (m−g)×(m−g) sub-matrix T, and a g×(m−g) sub-matrix E. Sub-matrix T is arranged in lower triangular form where all elements of the sub-matrix positioned above the diagonal have a value of zero. H-matrix 500 is referred to as approximately lower triangular because lower triangular sub-matrix T is above sub-matrix E, which is not in lower triangular form.

Based on the structure of H-matrix 500, and by dividing parity-bit vector {right arrow over (p)} into a first sub-vector {right arrow over (p)}₁ having length g and a second sub-vector {right arrow over (p)}₂ having length m−g, Equation (2) can be rewritten as shown in Equation (8):

$\begin{matrix} {{H\; \overset{\rightarrow}{c}} = {{\left\lbrack {H_{u}\mspace{20mu} H_{p}} \right\rbrack \begin{bmatrix} \overset{\rightarrow}{u} \\ \overset{\rightarrow}{p} \end{bmatrix}} = {{\begin{bmatrix} A & B & T \\ C & D & E \end{bmatrix}\begin{bmatrix} \overset{\rightarrow}{u} \\ {\overset{\rightarrow}{p}}_{1} \\ {\overset{\rightarrow}{p}}_{2} \end{bmatrix}} = 0}}} & (8) \end{matrix}$

Multiplying Equation (8) by

$\begin{bmatrix} I & 0 \\ {- {ET}^{- 1}} & I \end{bmatrix}\quad$

as shown in Equation (9) eliminates sub-matrix E from the lower right hand corner of parity-sub-matrix H_(p) and results in Equation (10) below:

$\begin{matrix} {{{\begin{bmatrix} I & 0 \\ {- {ET}^{- 1}} & I \end{bmatrix}\begin{bmatrix} A & B & T \\ C & D & E \end{bmatrix}}\begin{bmatrix} \overset{\rightarrow}{u} \\ {\overset{\rightarrow}{p}}_{1} \\ {\overset{\rightarrow}{p}}_{2} \end{bmatrix}} = 0} & (9) \\ {{\begin{bmatrix} A & B & T \\ {{{- {ET}^{- 1}}A} + C} & {{{- {ET}^{- 1}}B} + D} & 0 \end{bmatrix}\begin{bmatrix} \overset{\rightarrow}{u} \\ {\overset{\rightarrow}{p}}_{1} \\ {\overset{\rightarrow}{p}}_{2} \end{bmatrix}} = 0} & (10) \end{matrix}$

Substituting F=−ET⁻¹B+D into Equation (10) and solving for first and second parity-bit sub-vectors {right arrow over (p)}₁ and {right arrow over (p)}₂ results in Equations (11) and (12) below:

{right arrow over (p)} ₁ =−F ⁻¹(−ET ⁻¹ A{right arrow over (u)}+C{right arrow over (u)})  (11)

{right arrow over (p)} ₂=−T⁻¹(A{right arrow over (u)}+B{right arrow over (p)}₁)  (12)

FIG. 6 shows a simplified block diagram of a signal processing device 600 according to one embodiment of the present invention. Signal processing device 600 upstream processing 602, multiplexer 606, and downstream processing 608, which may perform processing similar to that of the analogous components of signal processing device 200 of FIG. 2. Further, signal processing device 600 has LDPC encoder 604, which generates parity-bit vector {right arrow over (p)} based on Equations (11) and (12) above. In particular, LDPC encoder 604 has first parity-bit sub-vector component 610, which receives user data vector {right arrow over (u)} and generates a first parity-bit sub-vector {right arrow over (p)}₁ using Equation (11). First parity parity-bit sub-vector {right arrow over (p)}₁ is (i) provided to second parity-bit sub-vector component 612 and (ii) memory 614. Second parity-bit sub-vector component 612 generates a second parity-bit sub-vector {right arrow over (p)}₂ using Equation (12) and provides the second parity-bit sub-vector {right arrow over (p)}₂ to memory 614. Memory 614 then outputs parity-bit vector {right arrow over (p)}, by appending second parity-bit sub-vector {right arrow over (p)}₂ onto the end of first parity-bit sub-vector {right arrow over (p)}₁.

FIG. 7 shows a simplified block diagram of a first parity-bit sub-vector component 700 according to one embodiment of the present invention that may be used to implement first parity-bit sub-vector component 610 in FIG. 6. Parity-bit vector component 700 receives user-data vector {right arrow over (u)} from, for example, upstream processing such as upstream processing 602 of FIG. 6, and generates first parity-bit sub-vector {right arrow over (p)}₁ shown in Equation (11). User-data vector {right arrow over (u)} is provided to sparse-matrix-vector multiplication (SMVM) components 702 and 706, each of which may be implemented in a manner similar to that of sparse-matrix-vector multiplication component 400 of FIG. 4 or in an alternative manner such as those described above in relation to sparse-matrix-vector multiplication component 400. Note, however, that unlike sparse-matrix-vector multiplication component 400 which calculates the entire vector {right arrow over (x)} by multiplying the entire user-data sub-matrix H_(u) by the user-data vector {right arrow over (u)} as shown in Equation (6), sparse-matrix-vector multiplication components 702 and 706 each generate a sub-vector of vector {right arrow over (x)}. In particular, sparse-matrix-vector multiplication component 702 receives permutation coefficients corresponding to sub-matrix A of H-matrix 500 of FIG. 5 from coefficient-matrix memory 704, which may be implemented as ROM, and generates sub-vector {right arrow over (x)}_(A) shown in Equation (13) below:

{right arrow over (x)}_(A)=A{right arrow over (u)}  (13)

Sub-vector {right arrow over (x)}_(A) is then provided to forward substitution component 710. Sparse-matrix-vector multiplication component 706 receives permutation coefficients corresponding to sub-matrix C of H-matrix 500 from coefficient-matrix memory 712, which may also be implemented as ROM, and generates sub-vector {right arrow over (x)}_(C) shown in Equation (14) below:

{right arrow over (x)}_(C)=C{right arrow over (u)}  (14)

Sub-vector {right arrow over (x)}_(C) is then provided to XOR array 718, which is discussed further below.

FIG. 8 shows a simplified block diagram of forward substitution component 710 of FIG. 7 according to one embodiment of the present invention. In general, forward substitution component 710 uses a forward substitution technique to generate vector {right arrow over (w)} shown in Equation (15) below:

{right arrow over (w)}=T⁻¹{right arrow over (x)}_(A)=T⁻¹A{right arrow over (u)}  (15)

To further understand the forward substitution technique, consider the exemplary sub-matrix T, vector {right arrow over (x)}_(A), and vector {right arrow over (w)}, which are substituted into Equation (15) as shown in Equation (16) below:

$\begin{matrix} {\overset{\rightarrow}{w} = {{\begin{bmatrix} {T\left( {1,1} \right)} & {- 1} & {- 1} & {- 1} & {- 1} \\ {T\left( {2,1} \right)} & {T\left( {2,2} \right)} & {- 1} & {- 1} & {- 1} \\ {T\left( {3,1} \right)} & {T\left( {3,2} \right)} & {T\left( {3,3} \right)} & {- 1} & {- 1} \\ {T\left( {4,1} \right)} & {T\left( {4,2} \right)} & {T\left( {4,3} \right)} & {T\left( {4,4} \right)} & {- 1} \\ {T\left( {5,1} \right)} & {T\left( {5,2} \right)} & {T\left( {5,3} \right)} & {T\left( {5,4} \right)} & {T\left( {5,5} \right)} \end{bmatrix}^{- 1}\begin{bmatrix} {\overset{\rightarrow}{x}}_{A,1} \\ {\overset{\rightarrow}{x}}_{A,2} \\ {\overset{\rightarrow}{x}}_{A,3} \\ {\overset{\rightarrow}{x}}_{A,4} \\ {\overset{\rightarrow}{x}}_{A,5} \end{bmatrix}} = {\quad\begin{bmatrix} {\overset{\rightarrow}{w}}_{`1} \\ {\overset{\rightarrow}{w}}_{2} \\ {\overset{\rightarrow}{w}}_{3} \\ {\overset{\rightarrow}{w}}_{4} \\ {\overset{\rightarrow}{w}}_{5} \end{bmatrix}}}} & (16) \end{matrix}$

Sub-matrix T, which is lower triangular, has five block columns and five block rows, and is in coefficient-matrix format, where (i) each element T(j,k) is a permutation coefficient of a z×z weight one matrix and (ii) each negative element (i.e., −1) corresponds to a z×z zero matrix. Each weight one matrix may be permutated using, for example, cyclic shifting or permutations that are more random, such as those obtained using an Omega network or a Benes network. In the case of cyclic shifting, cyclic shifting of the weight one matrices may be selected by the designer of the coefficient matrix to be right, left, up, or down cyclic shifting. As shown in Equation (16), using a non-forward substitution method, the elements of the inverse T⁻¹ of sub-matrix T (i.e., all z×z×25 matrix values; not the 25 permutation coefficients) may be multiplied by vector {right arrow over (x)}_(A), which has five sub-vectors {right arrow over (x)}_(A), each comprising z elements and j=0, . . . , 5, to generate vector {right arrow over (w)}, which has five sub-vectors {right arrow over (w)}_(j), each comprising z elements and j=0, . . . , 5. However, this computation may be computationally intensive and involves the storing of all of the elements of sub-matrix T. To reduce computational complexity, a forward substitution technique may be used as described below. Further, to reduce memory requirements, the forward substitution technique may be combined with a permutation scheme that allows for the storing of only the 25 permutation coefficients, rather than all z×z×25 elements of sub-matrix T.

Forward substitution is performed by computing sub-vector {right arrow over (w)}₁, then substituting sub-vector {right arrow over (w)}₁ forward into the next equation to solve for sub-vector {right arrow over (w)}₂, substituting sub-vectors {right arrow over (w)}₁ and {right arrow over (w)}₂ forward into the next equation to solve for sub-vector {right arrow over (w)}₃, and so forth. Using this forward substitution technique, each sub-vector {right arrow over (w)}_(j) may be generated as follows in Equation (17):

$\begin{matrix} {{{\overset{\rightarrow}{w}}_{j} = \left\lbrack {{\overset{\rightarrow}{x}}_{A,j} \oplus {\sum\limits_{k = 0}^{j - 1}\left\lbrack {\overset{\rightarrow}{w}}_{k} \right\rbrack^{T{({j,k})}}}} \right\rbrack^{- {T{({j,j})}}}},} & (17) \end{matrix}$

where the symbol ⊕ indicates an XOR operation.

By using forward substitution, the inverse T⁻¹ sub-matrix T does not need to be computed. Further, as shown in Equation (17), rather than multiplying sub-vectors {right arrow over (x)}_(A,j) by the elements of the inverse T⁻¹ of sub-matrix T to generate {right arrow over (w)}_(j), each sub-vector of vector {right arrow over (w)}_(j) may be calculated by permutating sub-vectors {right arrow over (w)}_(j) according to the permutation coefficients of sub-matrix T. For example, based on Equation (17) and the permutation coefficients of exemplary sub-matrix T of Equation (16), sub-vectors {right arrow over (w)}₁, . . . , {right arrow over (w)}₅ may be represented by Equations (18) through (22):

{right arrow over (w)} ₁ ={right arrow over (x)} _(A,1) ^(−T)(1,1)  (18)

{right arrow over (w)}₂[={right arrow over (x)}_(A,2)⊕{right arrow over (w)}₁ ^(T(2,1))]^(−T(2,2))  (19)

{right arrow over (w)} ₃ =[{right arrow over (x)} _(A,3) ⊕[{right arrow over (w)} ₁ ^(T)(3,1)+{right arrow over (w)} ₂ ^(T(3,2))]]^(−T)(3,3)  (20)

{right arrow over (w)}₄=[{right arrow over (x)}_(A,4)⊕[{right arrow over (w)}₁ ^(T(4,1))+{right arrow over (w)}₂ ^(T(4,2))+w₃ ^(T(4,3))]]^(−T(4,4))  (21)

{right arrow over (w)} ₅ =[{right arrow over (x)} _(A,5) ⊕[{right arrow over (w)} ₁ ^(T)(5,1)+{right arrow over (w)} ₂ ^(T)(5,2)+{right arrow over (w)} ₃ ^(T)(5,3)+{right arrow over (w)} ₄ ^(T(5,4))]]^(−T)(5,5)  (22)

Returning to FIG. 8 and continuing the example above, forward substitution component 710 is shown as receiving five sub-vectors {right arrow over (x)}_(A,1), . . . , {right arrow over (x)}_(A,5) and outputting five sub-vectors {right arrow over (w)}₁, . . . , {right arrow over (w)}₅. According to other embodiments, forward substitution component 710 may be configured to operate with a sub-matrix T other than the sub-matrix T illustrated in Equation (16), such that forward substitution component 710 receives the same or a different number of sub-vectors {right arrow over (x)}_(A,j), and outputs the same or a different number of sub-vectors {right arrow over (w)}_(j).

Initially, upon receiving sub-vector {right arrow over (x)}_(A,1), XOR array 804 provides sub-vector {right arrow over (x)}_(A,1) to reverse permuter 806. XOR array 804 may output sub-vector {right arrow over (x)}_(A,1) without performing any processing or XOR array 804 may apply exclusive disjunction to (i) sub-vector {right arrow over (x)}_(A,1) and (ii) an initialized vector having a value of zero, resulting in no change to sub-vector {right arrow over (x)}_(A,1). Sub-vector {right arrow over (x)}_(A,1) is then permutated according to the negative of permutation coefficient T(1,1) received from coefficient-matrix memory 712 as shown in Equation (18). Note that, similar to permuter 402 of FIG. 4, permuter 802 and reverse permuter 806 may implement cyclic shifting, or permutations that are more random, such as those obtained using an Omega network or a Benes network described above, depending on the implementation of sub-matrix T in Equation (16). In the case of cyclic shifting, to obtain negative shifts (i.e., −T(1,1)), reverse permuter 806 performs cyclic shifting in the opposite direction of permuter 802. For example, if permuter 802 performs right cyclic shifting, then reverse permuter 806 performs left cyclic shifting. The permuted sub-vector {right arrow over (x)}_(A,1) is then stored in coefficient-matrix memory 808 as sub-vector {right arrow over (w)}₁.

To generate sub-vector {right arrow over (w)}₂, memory 808 provides sub-vector {right arrow over (w)}₁ to permuter 802, which permutates sub-vector {right arrow over (w)}₁ by permutation coefficient T(2,1) received from coefficient-matrix memory 712 as shown in Equation (19). XOR array 804 applies exclusive disjunction to (i) sub-vector {right arrow over (x)}_(A,2) and (ii) the permuted sub-vector {right arrow over (w)}₁ ^(T(2,1)), and the output of XOR array 804 is permutated by the negative of permutation coefficient T(2,2) received from coefficient-matrix memory 712 as shown in Equation (19). The output of reverse permuter 806 is then stored in memory 808 as sub-vector {right arrow over (w)}₂. To generate sub-vector {right arrow over (w)}₃, memory 808 provides sub-vectors {right arrow over (w)}₁ and {right arrow over (w)}₂ to permuter 802, which permutates the vectors by permutation coefficients T(3,1) and T(3,2), respectively as shown in Equation (20). XOR array 804 applies exclusive disjunction to (i) permuted sub-vector {right arrow over (w)}₁ ^(T(3,1)), (ii) permuted sub-vector {right arrow over (w)}₂ ^(T(3,2)), and (iii) sub-vector {right arrow over (x)}_(A,3). The output of XOR array 804 is permutated by the negative of permutation coefficient T(3,3) received from coefficient-matrix memory 712 as shown in Equation (20). The output of reverse permuter 806 is then stored in memory 808 as sub-vector {right arrow over (w)}₃. This process is continued using sub-vectors {right arrow over (w)}₁, {right arrow over (w)}₂, and {right arrow over (w)}₃ to generate sub-vector {right arrow over (w)}₄ and using sub-vectors {right arrow over (w)}₁, {right arrow over (w)}₂, {right arrow over (w)}₃, and {right arrow over (w)}₄ to generate sub-vector {right arrow over (w)}₅.

Note that, according to various embodiments, the present invention may also be applied to backward substitution for upper-triangular matrices. In such embodiments, rather than solving equations (i.e., rows) at the top of the matrix and substituting the results into rows below (i.e., forward substitution), such embodiments may solve the equations at the bottom and substitute the results into rows above (i.e., backward substitution). For example, suppose that FIG. 8 is used for backward substitution. Sub-vectors {right arrow over (w)}₁, . . . , {right arrow over (w)}₅ may be determined beginning with sub-vector {right arrow over (w)}₅ and ending with sub-vector {right arrow over (w)}₁. Sub-vector {right arrow over (w)}₅ may be determined based on (i) permutation coefficients from the fifth row of an upper-triangular sub-matrix T (not shown) and (ii) fifth input sub-vector {right arrow over (x)}_(A,5). Sub-vector {right arrow over (w)}₄ may be determined based on (i) permutation coefficients from the fourth row of an upper-triangular sub-matrix T, (ii) sub-vector {right arrow over (w)}₅, and (iii) fourth input sub-vector {right arrow over (x)}_(A,4), and so forth.

Returning to FIG. 7, forward substitution component 710 outputs vector {right arrow over (w)}, comprising sub-vectors {right arrow over (w)}₁, . . . , {right arrow over (w)}₅ to sparse-matrix-vector multiplication component 714. Sparse-matrix-vector multiplication component 714 receives permutation coefficients corresponding to sub-matrix E of H-matrix 500 of FIG. 5 from memory 716, which may be implemented as ROM, and generates vector {right arrow over (q)} as shown in Equation (23) below:

{right arrow over (q)}=−E{right arrow over (w)}=−ET ⁻¹ {right arrow over (x)} _(A) =−ET ⁻¹ A{right arrow over (u)}  (23)

Sparse-matrix-vector multiplication component 714 may be implemented in a manner similar to that described above in relation to sparse-matrix-vector multiplication component 400 of FIG. 4 or in an alternative manner such as those described above in relation to sparse-matrix-vector multiplication component 400. However, rather than receiving that user-data vector {right arrow over (u)} and generating vector {right arrow over (x)} like sparse-matrix-vector multiplication component 400, sparse-matrix-vector multiplication component 714 receives vector {right arrow over (w)} and generates vector {right arrow over (q)}.

Vector {right arrow over (q)} is provided to XOR array 718 along with vector {right arrow over (x)}_(C), and XOR array 718 performs exclusive disjunction on vectors {right arrow over (q)} and {right arrow over (x)}_(C) to generate vectors {right arrow over (s)} as shown in Equation (24) below:

{right arrow over (s)}=−E{right arrow over (w)}+{right arrow over (x)} _(C) =−ET ⁻¹ {right arrow over (x)} _(A) +{right arrow over (x)} _(C32 −ET) ⁻¹ A{right arrow over (u)}+C{right arrow over (u)}  (24)

Vector {right arrow over (s)} is then output to matrix-vector multiplication (MVM) component 720. Matrix-vector multiplication (MVM) component 720 receives elements of matrix −F⁻¹ and performs matrix-vector multiplication to generate first parity-bit sub-vector {right arrow over (p)}₁ shown in Equation (25):

{right arrow over (p)} ₁ =−F ⁻¹ {right arrow over (s)}=−F ⁻¹(−ET ⁻¹ A{right arrow over (u)}+C{right arrow over (u)})  (25)

The elements of sub-matrix −F⁻¹ may be pre-computed and stored in memory 722, which may be implemented as ROM. Note that, unlike coefficient-matrix memories 704, 708, 712, and 716, which store only permutation coefficients, memory 716 stores all of the elements of sub-matrix −F⁻¹.

FIG. 9 shows a simplified block diagram of matrix-vector multiplication component 720 according to one embodiment of the present invention. Matrix-vector multiplication component 720 has AND gate array 902 which applies logical conjunction (i.e., AND logic operation) to (i) vector {right arrow over (s)}, received from, for example, XOR array 718 of FIG. 7, and (ii) the elements of matrix −F⁻¹, received from memory 722. The outputs of AND gate array 902 are then applied to XOR array 904, which performs exclusive disjunction on the outputs to generate the elements of first parity-bit sub-vector {right arrow over (p)}₁.

To further understand the operations of matrix-vector multiplication component 720, consider the following simplified example. Suppose that matrix −F⁻¹ and vector {right arrow over (s)} have the values shown in Equations (26) and (27), respectively, below:

$\begin{matrix} {{- F^{- 1}} = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \end{bmatrix}} & (26) \\ {\overset{\rightarrow}{s} = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}} & (27) \end{matrix}$

The resulting parity-bit sub-vector {right arrow over (p)}₁ has two elements p₁[1] and p₁[2] (i.e., {right arrow over (p)}₁=[p₁[1] p₁[2]]) that are obtained as follows in Equations (28) and (29), respectively:

p₁[1]=(1AND1)XOR(0AND0)XOR(0AND0)=1  (28)

p₁[2]=(0AND1)XOR(0AND0)XOR(1AND0)=0  (29)

Thus, according to this simplified example, parity-bit sub-vector {right arrow over (p)}₁=[1,0].

FIG. 10 shows a simplified block diagram of a second parity-bit sub-vector component 1000 according to one embodiment of the present invention that may be used to implement second parity-bit sub-vector component 612 in FIG. 6. Parity-bit sub-vector component 1000 receives (i) first parity-bit sub-vector {right arrow over (p)}₁ from, for example, parity-bit vector component 700 of FIG. 7, and (ii) sub-vector {right arrow over (x)}_(A), and generates second parity-bit sub-vector {right arrow over (p)}₂ shown in Equation (12). Sub-vector {right arrow over (x)}_(A) may be received from, for example, sparse-matrix-vector multiplication (SMVM) component 702 in FIG. 7, or second parity-bit sub-vector component 1000 may generate sub-vector {right arrow over (x)}_(A) using its own sparse-matrix-vector multiplication component (not shown) that is similar to sparse-matrix-vector multiplication (SMVM) component 702.

First parity-bit sub-vector {right arrow over (p)}₁ is processed by sparse-matrix-vector multiplication (SMVM) component 1002, which may be implemented in a manner similar to that of sparse-matrix-vector multiplication component 400 of FIG. 4 or in an alternative manner such as those described above in relation to sparse-matrix-vector multiplication component 400. In so doing, sparse-matrix-vector multiplication component 1002 receives permutation coefficients corresponding to sub-matrix B of H-matrix 500 of FIG. 5 from memory 1004, which may be implemented as ROM, and generates vector {right arrow over (v)} shown in Equation (30) below:

{right arrow over (v)}=B{right arrow over (p)}₁  (30)

Vector {right arrow over (v)} is provided to XOR array 1006 along with vector {right arrow over (x)}_(A), and XOR array 1006 performs exclusive disjunction on vectors {right arrow over (v)} and {right arrow over (x)}_(A) to generate vector {right arrow over (o)} as shown in Equation (31):

{right arrow over (o)}={right arrow over (v)}⊕{right arrow over (x)}_(A)=A{right arrow over (u)}+B{right arrow over (p)}₁  (31)

Forward substitution component 1008 receives (i) permutation coefficients corresponding to sub-matrix T of H-matrix 500 of FIG. 5 from memory 1010, which may be implemented as ROM, and (ii) vector {right arrow over (o)}, and generates second parity-sub-vector vector {right arrow over (p)}₂ shown in Equation (32) below:

{right arrow over (p)} ₂ =−T ⁻¹ {right arrow over (o)}=−T ⁻¹(A{right arrow over (u)}+B{right arrow over (p)} ₁)  (32)

Forward substitution component 1008 may be implemented in a manner similar to forward substitution component 710 of FIG. 8, albeit, receiving vector {right arrow over (o)} rather than vector {right arrow over (x)}_(A), and outputting second parity-sub-vector vector {right arrow over (p)}₂ rather than vector {right arrow over (w)}.

Although the present invention was described relative to exemplary H-matrices (e.g., 100, 300), the present invention is not so limited. The present invention may be implemented for various H-matrices that are the same size as or a different size from these exemplary matrices. For example, the present invention may be implemented for H-matrices in which the numbers of columns, block columns, rows, block rows, and messages processed per clock cycle, the sizes of the sub-matrices, the sizes of the column and/or row hamming weights differ from that of H-matrices 100 and 300. Such H-matrices may be, for example, cyclic, quasi-cyclic, non-cyclic, regular, or irregular H-matrices.

It will be further understood that various changes in the details, materials, and arrangements of the parts which have been described and illustrated in order to explain the nature of this invention may be made by those skilled in the art without departing from the scope of the invention as expressed in the following claims.

Although embodiments of the present invention have been described in the context of LDPC codes, the present invention is not so limited. Embodiments of the present invention could be implemented for any code, including error-correction codes, that can be defined by a graph, e.g., tornado codes and structured IRA codes, since graph-defined codes suffer from trapping sets.

While the exemplary embodiments of the present invention have been described with respect to processes of circuits, including possible implementation as a single integrated circuit, a multi-chip module, a single card, or a multi-card circuit pack, the present invention is not so limited. As would be apparent to one skilled in the art, various functions of circuit elements may also be implemented as processing blocks in a software program. Such software may be employed in, for example, a digital signal processor, micro-controller, or general purpose computer.

The present invention can be embodied in the form of methods and apparatuses for practicing those methods. The present invention can also be embodied in the form of program code embodied in tangible media, such as magnetic recording media, optical recording media, solid state memory, floppy diskettes, CD-ROMs, hard drives, or any other machine-readable storage medium, wherein, when the program code is loaded into and executed by a machine, such as a computer, the machine becomes an apparatus for practicing the invention. The present invention can also be embodied in the form of program code, for example, whether stored in a storage medium, loaded into and/or executed by a machine, or transmitted over some transmission medium or carrier, such as over electrical wiring or cabling, through fiber optics, or via electromagnetic radiation, wherein, when the program code is loaded into and executed by a machine, such as a computer, the machine becomes an apparatus for practicing the invention. When implemented on a general-purpose processor, the program code segments combine with the processor to provide a unique device that operates analogously to specific logic circuits. The present invention can also be embodied in the form of a bitstream or other sequence of signal values electrically or optically transmitted through a medium, stored magnetic-field variations in a magnetic recording medium, etc., generated using a method and/or an apparatus of the present invention.

Unless explicitly stated otherwise, each numerical value and range should be interpreted as being approximate as if the word “about” or “approximately” preceded the value of the value or range.

The use of figure numbers and/or figure reference labels in the claims is intended to identify one or more possible embodiments of the claimed subject matter in order to facilitate the interpretation of the claims. Such use is not to be construed as necessarily limiting the scope of those claims to the embodiments shown in the corresponding figures.

It should be understood that the steps of the exemplary methods set forth herein are not necessarily required to be performed in the order described, and the order of the steps of such methods should be understood to be merely exemplary. Likewise, additional steps may be included in such methods, and certain steps may be omitted or combined, in methods consistent with various embodiments of the present invention.

Although the elements in the following method claims, if any, are recited in a particular sequence with corresponding labeling, unless the claim recitations otherwise imply a particular sequence for implementing some or all of those elements, those elements are not necessarily intended to be limited to being implemented in that particular sequence. 

1. An apparatus comprising a matrix-vector multiplication (MVM) component (e.g., 400) that generates a product vector (e.g., {right arrow over (x)}) based on (i) an input matrix (e.g., 404) and (ii) an input vector (e.g., {right arrow over (u)}), the MVM component comprising: a permuter (e.g., 402) that, for each input sub-vector (e.g., {right arrow over (u)}₁, . . . , {right arrow over (u)}₁₆) of the input vector, permutates the input sub-vector based on a set of permutation coefficients (e.g., P_(j,k)) to generate a set of permuted input sub-vectors (e.g., [{right arrow over (u)}_(k)]^(P) ^(j,k) ), wherein each permutation coefficient in the set corresponds to a different sub-matrix in a current block column of the input matrix; memory (e.g., 408) that stores a set of intermediate product sub-vectors (e.g., {right arrow over (x)}₁, . . . , {right arrow over (x)}₈) corresponding to the product vector; and an XOR gate array (e.g., 406) that, for each input sub-vector, performs exclusive disjunction on (i) the set of permuted input sub-vectors and (ii) the set of intermediate product sub-vectors to update the set of intermediate product sub-vectors, wherein the XOR gate array updates all of the intermediate product sub-vectors in the set based on a current input sub-vector before updating any of the intermediate product sub-vectors in the set based on a subsequent input sub-vector.
 2. The invention of claim 1, wherein each permutation coefficient corresponds to one of: (i) reordering vector elements of a corresponding input sub-vector; (ii) leaving the corresponding input sub-vector unchanged; and (iii) replacing the corresponding input sub-vector with a zero sub-vector.
 3. The invention of claim 2, wherein: the permuter is a cyclic shifter; and the cyclic shifter reorders the vector elements of a corresponding input sub-vector by cyclically shifting the vector elements by a specified number of vector elements.
 4. The invention of claim 2, wherein: the permuter is implemented based on an Omega network; and the Omega network reorders the vector elements based on the permutation coefficient.
 5. The invention of claim 2, wherein: the permuter is implemented based on a Benes network; and the Benes network reorders the vector elements based on the permutation coefficient.
 6. The invention of claim 1, wherein the XOR gate array updates all of the intermediate product sub-vectors in the set based on the current input sub-vector before a permuted input sub-vector based on any subsequent input sub-vector is received by the XOR gate array.
 7. The invention of claim 1, wherein the apparatus is an error-correction encoder (e.g., FIG. 6) that receives a user-data vector (e.g., {right arrow over (u)}) and generates a parity-bit vector (e.g., {right arrow over ({right arrow over (p)}) based on a parity-check matrix that is arranged in approximately lower-triangular form (e.g., 500).
 8. The invention of claim 7, wherein the error correction encoder further comprises a substitution component (e.g., 710) that performs substitution based on a triangular matrix (e.g., T) and a second input vector (e.g., {right arrow over (x)}_(A)) to generate an output vector (e.g., {right arrow over (w)}), the substitution component comprising: memory (e.g., 808) that stores output sub-vectors of the output vector; a second permuter (e.g., 802) that permutates one or more previously generated output sub-vectors of the output vector based on one or more other permutation coefficients to generate one or more other permuted sub-vectors, wherein each other permutation coefficient corresponds to a different sub-matrix in a current block row of the triangular matrix; a second XOR gate array (e.g., 804) that performs exclusive disjunction on (i) the one or more other permuted sub-vectors and (ii) a current input sub-vector of the second input vector to generate a partially-updated sub-vector; a third permuter (e.g., 806) that permutates the partially-updated sub-vector based on a permutation coefficient corresponding to another sub-matrix in the current block row to generate a current output sub-vector of the output vector.
 9. The invention of claim 7, wherein the encoder is a low-density parity-check (LDPC) encoder.
 10. An encoder-implemented method for generating a product vector (e.g., {right arrow over (x)}) based on (i) an input matrix (e.g., 404) and (ii) an input vector (e.g., {right arrow over (u)}), the method comprising: (a) the encoder permutating (e.g., 402), for each input sub-vector (e.g., {right arrow over (u)}₁, . . . , {right arrow over (u)}₁₆) of the input vector, the input sub-vector based on a set of permutation coefficients (e.g., P_(j,k)) to generate a set of permuted input sub-vectors (e.g., [{right arrow over (u)}_(k)]^(P) ^(j,k) ), wherein each permutation coefficient in the set corresponds to a shift of a sub-matrix in a current block column of the input matrix; (b) the encoder storing in memory (e.g., 408) a set of intermediate product sub-vectors (e.g., {right arrow over (x)}₁, . . . , {right arrow over (x)}₈) corresponding to the product vector; and (c) the encoder performing (e.g., 406), for each input sub-vector, exclusive disjunction on (i) the set of permuted input sub-vectors and (ii) the set of intermediate product sub-vectors to update the set of intermediate product sub-vectors, wherein all of the intermediate product sub-vectors in the set are updated based on a current input sub-vector before updating any of the intermediate product sub-vectors in the set based on a subsequent input sub-vector.
 11. The invention of claim 10, wherein each permutation coefficient corresponds to one of: (i) reordering elements of the corresponding input sub-vector; (ii) leaving the corresponding input sub-vector unchanged; and (iii) replacing the corresponding input sub-vector with a zero sub-vector.
 12. The invention of claim 11, wherein reordering the vector elements comprises cyclically shifting the vector elements by a specified number of vector elements.
 13. The invention of claim 11, wherein reordering the vector elements comprises applying the vector elements to an Omega network that reorders the elements based on the permutation coefficient.
 14. The invention of claim 11, wherein reordering the vector elements comprises applying the vector elements to a Benes network that reorders the elements based on the permutation coefficient.
 15. The invention of claim 10, wherein the all of the intermediate product sub-vectors in the set are updated based on the current input sub-vector before exclusive disjunction is performed on any permuted input sub-vector that corresponds to a subsequent input sub-vector.
 16. The invention of claim 10, wherein the encoder-implemented method is an error-correction encoder-implemented method (e.g., FIG. 6) that receives a user-data vector (e.g., {right arrow over (u)}) and generates a parity-bit vector (e.g., {right arrow over ({right arrow over (p)}) based on a parity-check matrix that is arranged in approximately lower-triangular form (e.g., 500).
 17. The invention of claim 10, wherein the encoder is a low-density parity-check (LDPC) encoder. 